An orthodox review of work on kant from 1955 to 1965 concentrating on (1) the continental school, Holding kant's interest to be in founding a practical-Dogmatic metaphysics, With its main work being done on the early period, Things in themselves, And the categories; (2) questions about the fischer-Trendelenburg controversy on the relation of "transcendentally ideal" to "transcendentally real"; (3) english work throwing light on the aesthetic and on the analytic, With the still obsessive concern for the second analogy; (4) the (...) continuing debate on whether the categorical imperative is a moral criterion, And its relation to the golden rule; and (5) the important work on the concepts of freedom and the highest good. (shrink)

A (normal) system of propositional modal logic is said to be complete iff it is characterized by a class of (Kripke) frames. When we move to modal predicate logic the question of completeness can again be raised. It is not hard to prove that if a predicate modal logic is complete then it is characterized by the class of all frames for the propositional logic on which it is based. Nor is it hard to prove that if a propositional modal (...) logic is incomplete then so is the predicate logic based on it. But the interesting question is whether a complete propositional modal logic can have an incomplete extension. In 1967 Kripke announced the incompleteness of a predicate extension of S4. The purpose of the present article is to present several such systems. In the first group it is the systems with the Barcan Formula which are incomplete, while those without are complete. In the second group it is those without the Barcan formula which are incomplete, while those with the Barcan Formula are complete. But all these are based on propositional systems which are characterized by frames satisfying in each case a single first-order sentence. (shrink)

In a number of publications A.N. Prior considered the use of what he called ‘metric tense logic’. This is a tense logic in which the past and future operators P and F have an index representing a temporal distance, so that Pnα means that α was true n -much ago, and Fn α means that α will be true n -much hence. The paper investigates the use of metric predicate tense logic in formalising phenomena ormally treated by such devices as (...) multiple indexing or quantification over times. (shrink)

How might experimental media art help theorise what falls by the wayside in the digital public sphere? Working in the years immediately following the launch of YouTube in 2005, some media artists centred their creative praxis towards the end of that decade upon rescuing, revalorising, and placing back into digital circulation audiovisual media formats and technologies that appeared aged or obsolete. Although there may be a degree of nostalgia behind such practices, these artworks articulate a cogent critique of the drive (...) towards constant innovation that was responsible for the invention and global expansion of cinema, but in recent decades has been responsible for its decay—or, perhaps more accurately, for its perpetual transformation. The article explores this 'media-archaeology' sensibility as a way of thinking about AI more widely: an approach that sees histories of media not as a linear, chronological search for origins, but as a critical recovery of artefacts lodged discontinuously in multiple layers of the past. Although digital technologies form a central part of the creative process of the artists considered in this article, their works also act as a critical conscience about digital change, asking what the so-called digital revolution is leaving out, and leaving behind. In so doing, it illuminates some potential positive and negative impacts of digital technologies' mediation of new forms of public engagement, whether in art, archives, or on social media. (shrink)

The paper introduces a first-order theory in the language of predicate tense logic which contains a single simple axiom. It is shewn that this theory enables times to be referred to and sentences involving ‘now’ and ‘then’ to be formalised. The paper then compares this way of increasing the expressive capacity of predicate tense logic with other mechanisms, and indicates how to generalise the results to other modal and tense systems.

The aim of this paper is to consider some logical aspects of the debate between the view that the present is the only 'real' time, and the view that the present is not in any way metaphysically privileged. In particular I shall set out a language of first-order predicate tense logic with a now predicate, and a first order (extensional) language with an abstraction operator, in such a way that each language can be shewn to be exactly translatable into the (...) other. I shew that this translation is preserved at the metalinguistic level, so that equivalent truth conditions can be defined in a tensed metalanguage or an indexical metalanguage. I then make some remarks about the connection between proofs of relative consistency and metaphysical truth; and some historical remarks about Arthur Prior's use of formal logic in expressing his presentist views. (shrink)

In celebrating Arthur Prior we celebrate what he gave to the world. Much of this is measured by what others have made of his ideas after his death. The focus of this paper is a little different. It looks at what Prior himself thought he was accomplishing. In particular it considers Prior’s attitude to the semantic metatheory of the logics that he was interested in. The paper sets out some characteristics of the metalogical study of intensional languages in terms of (...) an indexical theory of truth conditions stated in the language of set theory. In examining Prior’s work using these characteristics, it emerges that Prior had serious reservations about this way of studying modal and tense logics. (shrink)

This paper explores a modal analogue of Hugh Mellor''s version of McTaggart''s argument against the reality of tense. I show that if Mellor''s argument succeeds in showing that the present moment cannot be any more real than any other moment then it also shows that the actual world cannot be any more real than any other possible world.

In Book Γ of the Metaphysics Aristotle states and attempts to prove what he calls the basic principle of the science of being as being: the law of non‐contradiction. In this paper I defend an interpretation of his proof, inspired by Elizabeth Anscombe's 1961 essay in ‘Three Philosophers’, though some of its features were remarked on by Lukasiewicz in 1910, according to which Aristotle is proving this principle only for substance predicates, and that it is to be understood as the (...) basic principle of metaphysics rather than of logic. It is the principle that every substance has an essential nature, and if it is of the essential nature of x to be F then it cannot be of the essential nature of x to be not‐F since then x's being F and x's being not‐F would be the same. He puts it by saying that in such a case F and not‐F would ‘signify the same’ for x. Since they do not, x cannot be both. (shrink)